$\forall$$x$, $y$:$\mathbb{Z}$. $x$ $\leq$ $y$ $\Leftarrow\!\Rightarrow$ ($x$ $\leq$ $y$)